Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Knowledge formalization in experience feedback processes : an ontology-based approach

Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable

Vers une meilleure prise en compte des ressources humaines dans les processus d'entreprise (connaissances, rôles et compétences)

Pendant des années, des multiples études dans le domaine du génie de production se sont principalement concentrées sur l'optimisation de l'utilisation des ressources matérielles des entreprises dans les processus industriels, en termes de " capabilité ", " performance " ou " productivité ", entre autres. A l'heure où les systèmes productifs demandent de plus en plus de réactivité dans un contexte général de tension des flux, les approches modernes d'organisation de la production tendent à replacer l'homme au cœur de l'entreprise. Ce travail s'intéresse particulièrement à l'amélioration de l'organisation opérationnelle des entreprises, sur la base d'une meilleure adéquation entre les processus d'entreprise et les connaissances et rôles des acteurs, à partir des compétences requises et disponibles. Nous nous sommes donc particulièrement focalisés sur la modélisation de processus, ainsi que sur divers moyens d'actions (évaluation des compétences, gestion des connaissances, identification de rôles) qui vont permettre d'améliorer les performances des entreprises. Plusieurs applications de terrain nous ont permis de valider ces travaux de recherche.TOULOUSE-ENSEEIHT (315552331) / SudocTARBES-ENIT (654402301) / SudocSudocFranceF